141. FSM-based digital design using Verilog HDL
المؤلف: / Peter Minns, Ian Elliott
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Verilog (Computer hardware description language,Digital electronics,Sequential machine theory
رده :
E-BOOK
142. Finite automata and application to cryptography
المؤلف: Tao, Renji
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory,، Cryptography
رده :
QA
267
.
5
.
S4
.
T36
2009
143. Finite automata and application to cryptography
المؤلف: / Renji Tao
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Sequential machine theory,Cryptography
رده :
QA
267
.
5
.
S4
T36
2008
144. Finite automata; behavior and synthesis
المؤلف: Trakhtenbrot, B. A.)Boris Avraamovich(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
T713
145. Finite automata; behavior and synthesis
المؤلف: / B. A. Trakhtenbrot and Ya. M. Barzdin, translated from the Russian by O. Louvish, English translation edited by E. Shamir and L. H. Landweber
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Sequential machine theory
رده :
620
.
891
Tr-F
146. Finite automata, their algebras and grammars
المؤلف: J. Richard Buchi ; Dirk Siefkes, editor,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
147. Finite automata : their algebras and grammars : Towards a theory of formal expressions
المؤلف: Buchi, J. Richard, 4291-4891
المکتبة: (طهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
148. Finite state machine logic synthesis for complex programmable logic device
المؤلف: / Robert Czerwinski and Dariusz Kania
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Sequential machine theory,Programmable logic devices,Electronic books
رده :
E-BOOK
149. Finite-state models for logical machines
المؤلف: Hennie, Frederick C.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
H4
150. Finite-state models for logical machines
المؤلف: HENNIE,FREDERICK C
المکتبة: (طهران)
موضوع: SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
H4
151. Finite-state models for logical machines
المؤلف: Hennie, Frederick C.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4H4
152. Finite transition systems : semantics of communicating systems, Systemes de transitions finit et semantique des processus communicants. English
المؤلف: Arnold, A.)Andre(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
153. Food process modeling and control :
المؤلف: Mustafa Özilgen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Chemical engineering-- Mathematical models.,Food-- Analysis-- Mathematical models.,Food industry and trade-- Quality control-- Mathematical models.,Aliments-- Analyse-- Modèles mathématiques.,Chemical engineering-- Mathematical models.,Commande de processus chimiques-- Modèles mathématiques.,Industrie agro-alimentaire-- Modèles mathématiques.,Lebensmittelverarbeitung,Mathematisches Modell,TRANSPORT.
رده :
TX545
.
O95
1998
154. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
المؤلف: J.E. Pin )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
155. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
156. Fundamental aspects of operational risk and insurance analytics :
المؤلف: Marcelo G. Cruz, GLeonard N. Stern School of Business, New York University, New York, NY, USA, Gareth W. Peters, Department of Statistical Science, University College of London, London, United Kingdom, Pavel V. Shevchenko, Division of Computational Informatics, The Commonwealth Scientific and Industrial Research Organization, Sydney, Australia
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Operational risk.,Risk management.,Emergency management.,Operational risk.,Risk management.
رده :
HD61
157. Handbook of Mixture Analysis /
المؤلف: edited by Sylvia Frühwirth-Schnatter, Gilles Celeux, Christian P. Robert.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Distribution (Probability theory),Mixture distributions (Probability theory),COMPUTERS-- Machine Theory.,Distribution (Probability theory),MATHEMATICS-- Probability & Statistics-- General.,Mixture distributions (Probability theory)
رده :
QA273
.
6
158. Handbook of Parallel Constraint Reasoning
المؤلف: edited by Youssef Hamadi, Lakhdar Sais
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Artificial intelligence,، Computer science,، Computers,، Mathematical optimization
رده :
Q
335
.
S4668
2018
159. Handbook of finite state based models and applications
المؤلف: edited by Jiacun Wang.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Sequential machine theory.
160. Handbook of implicit social cognition :
المؤلف: edited by Bertram Gawronski, B. Keith Payne.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Social perception.,Subliminal perception.,PSYCHOLOGY-- Social Psychology.,Social perception.,Subliminal perception.
رده :
BF323
.
S8
H36
2010eb
